f: (Str, Str)a -> (Str, Str)a
f = \x -> x

f (1, 2)